Verification of Test Suites
نویسندگان
چکیده
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations to test. It is shown that this requires in general a complex algorithmic comparable to model-checking. The principles of a prototype tool, called VTS, and based on the synthesis algorithms of TGV, are presented. We then prove the usefulness of the technique by checking a significant part of the ATM Forum test suite for the SSCOP protocol.
منابع مشابه
Coverage-Directed Test Generation Using Symbolic Techniques
In this paper, we present a verification methodology that integrates formal verification techniques with verification by simulation, thereby providing means for generating simulation test suites that ensure coverage. We derive the test suites by means of BDD-based symbolic techniques for describing and traversing the implementation state space. In our approach, we provide a high-level of contro...
متن کاملA Metric for Testing Program Verification Systems
The correctness of program verification systems is of great importance, and it needs to be checked and demonstrated to users and certification agencies. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiomatization, respectively the correctness of calculus rules. In this paper, we examine how testing verification systems ...
متن کاملFoCuS: A Dynamic Regression Suite Generation Platform for Processor Functional Verification
Functional verification of complex integrated circuits such as processors utilize a large number of tests. To manage the verification resources and reduce redundancies optimized regression suites are required. We describe a platform for generating coverage-based regression test suites that can be simulated to verify the changes and enhancements to a system (hardware, software) to ensure that th...
متن کاملAn Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology
In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced veriication techniques applied to a real industrial protocol. In this experiment, several tools have been used : the commercial tool GEODE (VERILOG) was used for the generation of nite state graph models from SDL spec...
متن کاملSurvey of Software Test Case Generation Techniques
Software testing is an crucial part of software development which guaranteed the verification and validation process of the software. In order to do software testing we must have to apply the method of mapping the software for all its transition states and individually validating the output for a set of given input. For a any given part of software we will be writing a set of test cases that ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000